beta reduction

beta reduction
матем
бета-редукция (в лямбда-исчислении)

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "beta reduction" в других словарях:

  • beta reduction — noun The act of beta reducing, an instance of replacing a function call by the result of calling a function …   Wiktionary

  • Beta — may refer to: *Beta (β), the second letter of the Greek alphabetIn finance: * Beta coefficient in Capital Asset Pricing ModelIn mathematics: * Beta function in mathematics * Beta distribution in statistics * False negative rate in statistics *… …   Wikipedia

  • Reduction — Reduction, reduced, or reduce may refer to:cienceChemistry*Reduction – chemical reaction in which atoms have their oxidation number (oxidation state) changed. **Reduced gas – a gas with a low oxidation number **Ore reduction: see… …   Wikipedia

  • Beta normal form — In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta eta normal form if neither a beta reduction nor an eta reduction is possible. A term is in head normal form if there is no beta redex in… …   Wikipedia

  • Beta blocker — Beta blockers Drug class Skeletal formula of propranolol, the first clinically successful beta blocker ATC code C07 …   Wikipedia

  • Beta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta-bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Beta bloqueur — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Béta-bloquant — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français

  • Bêta-bloquants — Bêta bloquant Pour les articles homonymes, voir Bêta (homonymie). Un bêta bloquant ou β bloquant est un médicament utilisé en cardiologie qui bloque l action des médiateurs du système adrénergique tels l adrénaline. Les bêta bloquants prennent la …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»